digraph TS_TARGET {
a1 -> a2 [label="a"]
a2 -> a3 [label="b"]
a3 -> a6 [label="c"]
a1 -> a4 [label="d"]
a4 -> a5 [label="e"]
a5 -> a6 [label="f"]
a5 -> a5 [label="g"]
a3 -> a3 [label="h"]
a2 -> a7 [label="i"]
a7 -> a3 [label="l"]
a8 -> a5 [label="m"]
a5 -> a8 [label="n"]
a8 -> a9 [label="o"]
a9 -> a8 [label="p"]
[initial = {a1} ]
[final = {a6,a9} ]
}
